доказательство общей правильности

доказательство общей правильности

 

доказательство общей правильности
 —
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

EN

  • total correctness, proof of


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "доказательство общей правильности" в других словарях:

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ВОЛЯ — [греч. θέλημα, θέλησις; лат. voluntas, velle], сила, неотъемлемо присущая природе разумного существа, благодаря к рой оно стремится достигнуть желаемого. В Свящ. Писании понятие В. имело следующие основные смыслы: В. Божия, выражающаяся в… …   Православная энциклопедия

  • Теория волн Эллиотта — (Elliott Wave Theory) Теория волн Эллиотта это математическая теория об изменении поведения общества или финансовых рынков Все о волновой теории Эллиотта: видео, книги, статьи о теории волн, информация о советниках и индикаторах волн Эллиотта… …   Энциклопедия инвестора

  • Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …   Медицинская энциклопедия

  • оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств …   Словарь-справочник терминов нормативно-технической документации

  • показатель — 3.7 показатель (indicator): Мера измерения, дающая качественную или количественную оценку определенных атрибутов, выведенную на основе аналитической модели, разработанной для определенных информационных потребностей. Источник …   Словарь-справочник терминов нормативно-технической документации

  • ЛОГИЧЕСКИЕ ОШИБКИ — нарушения к. л. законов или правил логики. Если ошибка допущена неумышленно, она называется паралогизмом; если же правила логики нарушают умышленно с целью доказать недоказуемое или ввести кого то в заблуждение, то это софизм. Л.о. следует… …   Философская энциклопедия

  • ЗЛО — [греч. ἡ κακία, τὸ κακόν, πονηρός, τὸ αἰσχρόν, τὸ φαῦλον; лат. malum], характеристика падшего мира, связанная со способностью разумных существ, одаренных свободой воли, уклоняться от Бога; онтологическая и моральная категория, противоположность… …   Православная энциклопедия

  • АРБИТРАЖНЫЙ ПРОЦЕССУАЛЬНЫЙ КОДЕКС РОССИЙСКОЙ ФЕДЕРАЦИИ — Принят Государственной Думой 5 апреля 1995 года Одобрен Советом Федерации Раздел I . Общие положения Глава 1. Основные положения Статья 1. Осуществление правосудия арбитражным отнесенных к его компетенции настоящим Кодексом и другими федеральными …   Большой Энциклопедический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»